Automatic inspection of program state in an uncooperative environment

The program state is formed by the values that manipulates. These are stored in stack, heap, or static memory. ability to inspect useful as a debugging verification aid. Yet, there exists no general technique insert inspection points type-unsafe languages such C C++. difficulty comes from need traverse memory graph so-called uncooperative environment. In this article, we propose an automatic deal with problem. We introduce code transformation approach inserts instrumentation necessary report its internal state. Our has been implemented LLVM. It possible adjust granularity of trading precision for performance. demonstrate how use debug compiler optimizations; augment benchmarks code; and visualize data structures.